|
|
|
 |
|
|
|
|
|
|
|
|
|
|
Sequences of level 1,2,3,..., k
Show Abstract
|
Sénizergues, G.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 24-32
|
0
|
| | | | |
|
|
Planarity, determinants, permanents, and (unique) matchings
Show Abstract
|
Datta, S., Kulkarni, R., Limaye, N., Mahajan, M.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 115-126
|
0
|
| | | | |
|
|
Decidability of parameterized probabilistic information flow
Show Abstract
|
Beauquier, D., Duflot, M., Lifshits, Y.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 82-91
|
0
|
| | | | |
|
|
On empirical meaning of randomness with respect to a real
parameter
Show Abstract
|
V'yugin, V.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 387-396
|
0
|
| | | | |
|
|
Lecture Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics):
Preface
|
Diekert, V., Volkov, M., Voronkov, A.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. v-vi
|
0
|
| | | | |
|
|
Abstract modeling and formal verification of microprocessors
Show Abstract
|
Hanna, Z.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 23
|
0
|
| | | | |
|
|
Efficient computation in groups via compression
Show Abstract
|
Lohrey, M., Schleimer, S.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 249-258
|
0
|
| | | | |
|
|
A PDL-like logic of knowledge acquisition
Show Abstract
|
Heinemann, B.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 146-157
|
1
|
| | | | |
|
|
Kolmogorov complexity, lovász local lemma and critical exponents
Show Abstract
|
Rumyantsev, A.Yu.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 349-355
|
1
|
| | | | |
|
|
Ruling out polynomial-time approximation schemes for hard constraint
satisfaction problems
Show Abstract
|
Jonsson, P., Krokhin, A., Kuivinen, F.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 182-193
|
0
|
| | | | |
|
|
Towards hierarchical clustering (extended abstract)
Show Abstract
|
Levin, M.Sh.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 205-215
|
3
|
| | | | |
|
|
The limits of quantum computers
Show Abstract
|
Aaronson, S.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 4
|
0
|
| | | | |
|
|
Equivalence problems for circuits over sets of natural numbers
Show Abstract
|
Glaßer, C., Herr, K., Reitwießner, C., Travers, S., Waldherr, M.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 127-138
|
0
|
| | | | |
|
|
Estimation of the click volume by large scale regression analysis
Show Abstract
|
Lifshits, Y., Nowotka, D.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 216-226
|
1
|
| | | | |
|
|
Performance modeling of wormhole hypermeshes under hotspot traffic
Show Abstract
|
Moraveji, R., Sarbazi-Azad, H., Nayebi, A., Navi, K.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 290-302
|
0
|
| | | | |
|
|
Everywhere α-repetitive sequences and sturmian words
Show Abstract
|
Saari, K.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 362-372
|
1
|
| | | | |
|
|
On the usage of clustering for content based image retrieval
Show Abstract
|
Sanchez, J.R.M., Martinez, J., Valduriez, P.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 281-289
|
0
|
| | | | |
|
|
Proved-patterns-based development for structured programs
|
Cansell, D., Méry, D.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 104-114
|
0
|
| | | | |
|
|
TPTP, TSTP, CASC, etc.
Show Abstract
|
Sutcliffe, G.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 6-22
|
2
|
| | | | |
|
|
Generic complexity of undecidable problems
Show Abstract
|
Myasnikov, A.
|
2007 |
Lecture
Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
4649 LNCS, pp. 407-417
|
0
|
| | | | |
